Closed-form expansions for the universal edge elimination polynomial
نویسنده
چکیده
We establish closed-form expansions for the universal edge elimination polynomial of paths and cycles and their generating functions. This includes closed-form expansions for the bivariate matching polynomial, the bivariate chromatic polynomial, and the covered components polynomial.
منابع مشابه
Bounding Quantification in Parametric Expansions of Presburger Arithmetic
Generalizing Cooper’s method of quantifier elimination for Presburger arithmetic, we give a new proof that all parametric Presburger families {St : t ∈ N} (as defined by Woods in [8]) are definable by formulas with polynomially bounded quantifiers in an expanded language with predicates for divisibility by f(t) for every polynomial f ∈ Z[t]. In fact, this quantifier bounding method works more g...
متن کاملEfficient Universal Portfolios for Past-dependent Target Classes
We present a new universal portfolio algorithm that achieves almost the same level of wealth as could be achieved by knowing stock prices ahead of time. Specifically the algorithm tracks the best in hindsight wealth achievable within target classes of linearly parameterized portfolio sequences. The target classes considered are more general than the standard constant rebalanced portfolio class ...
متن کاملQuantifier Elimination on Real Closed Fields and Differential Equations
This paper surveys some recent applications of quantifier elimination on real closed fields in the context of differential equations. Although polynomial vector fields give rise to solutions involving the exponential and other transcendental functions in general, many questions can be settled within the real closed field without referring to the real exponential field. The technique of quantifi...
متن کاملClosed-form Solution of Dynamic Displacement for SLGS Under Moving the Nanoparticle on Visco-Pasternak Foundation
In this paper, forced vibration analysis of a single-layered graphene sheet (SLGS) under moving a nanoparticle is carried out using the non-local elasticity theory of orthotropic plate. The SLGS under moving the nanoparticle is placed in the elastic and viscoelastic foundation which are simulated as a Pasternak and Visco-Pasternak medium, respectively. Movement of the nanoparticle is considered...
متن کاملJa n 20 03 The Hardness of Polynomial Equation Solving ∗
Elimination theory is at the origin of algebraic geometry in the 19-th century and deals with algorithmic solving of multivariate polynomial equation systems over the complex numbers, or, more generally, over an arbitrary algebraically closed field. In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Australasian J. Combinatorics
دوره 63 شماره
صفحات -
تاریخ انتشار 2015